51![Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction? Rajeev Alur1 , Thao Dang2 , and Franjo Ivancic1 1 University of Pennsylvania Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction? Rajeev Alur1 , Thao Dang2 , and Franjo Ivancic1 1 University of Pennsylvania](https://www.pdfsearch.io/img/c5afd85ce42c561e551f2fefef658fec.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2006-06-22 11:47:17
|
---|
52![Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam](https://www.pdfsearch.io/img/2af29ce07c78aa98d98fe820b119879a.jpg) | Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2004-04-25 07:36:40
|
---|
53![Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL)](https://www.pdfsearch.io/img/af8ec547738d8c36249589fcb07f778b.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2012-07-02 15:54:03
|
---|
54![JOURNAL OF INFORMATION ARCHITECTURE | VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona JOURNAL OF INFORMATION ARCHITECTURE | VOLUME 2 ISSUE 2 PEER-REVIEWED PAPER Martin Frické University of Arizona](https://www.pdfsearch.io/img/f47ba3d8375655ac6fe7932de5009069.jpg) | Add to Reading ListSource URL: journalofia.orgLanguage: English - Date: 2011-01-31 09:25:41
|
---|
55![Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It Monotonicity in SharedMemory Program Verification Alexander Kaiser Predicate abstraction is a key enabling technology for applying model checkers to programs written in mainstream languages. It](https://www.pdfsearch.io/img/54146da36735d7b685eb829a124c1c47.jpg) | Add to Reading ListSource URL: www.cprover.orgLanguage: English - Date: 2014-06-22 11:48:59
|
---|
56![ORM 2 Constraint Verbalization: Part 1 ORM 2 Constraint Verbalization: Part 1](https://www.pdfsearch.io/img/05b1223b9b09e84e3a069b5ad92d1587.jpg) | Add to Reading ListSource URL: www.orm.netLanguage: English - Date: 2006-07-30 13:54:40
|
---|
57![Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers ETH Zurich, Switzerland](https://www.pdfsearch.io/img/b0776098d265e95ce847cd1010444aeb.jpg) | Add to Reading ListSource URL: stefanheule.comLanguage: English - Date: 2014-09-10 01:53:47
|
---|
58![ALICe: A Benchmark to Improve Affine Loop Invariant Computation ALICe: A Benchmark to Improve Affine Loop Invariant Computation](https://www.pdfsearch.io/img/ddcab2d6873dea9ec34e5ad85df07cf7.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2014-01-28 04:42:34
|
---|
59![Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te](https://www.pdfsearch.io/img/8a144799da329b2b08be98f303e20db3.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2004-12-12 14:02:10
|
---|
60![Heylighen F[removed]): Heylighen F[removed]):](https://www.pdfsearch.io/img/38dca0adc1bf2ab46b5622d718dddeb8.jpg) | Add to Reading ListSource URL: cleamc11.vub.ac.beLanguage: English - Date: 2014-05-02 12:27:43
|
---|